Relative categoricity in abelian groups II
نویسندگان
چکیده
منابع مشابه
Relative categoricity in abelian groups II
Abstract. We consider structures A consisting of an abelian group with a subgroup A distinguished by a 1-ary relation symbol P , and complete theories T of such structures. Such a theory T is (κ, λ)categorical if T hasmodelsA of cardinality λwith |A | = κ, and given any two such models A,B with A = B , there is an isomorphism from A to B which is the identity on A . We classify all complete the...
متن کاملRelative categoricity in abelian groups
We consider structures A consisting of an abelian group with a subgroup A distinguished by a 1-ary relation symbol P , and complete theories T of such structures. Such a theory T is (κ, λ)-categorical if T has models A of cardinality λ with |A | = κ, and given any two such models A,B with A = B , there is an isomorphism from A to B which is the identity on A . We state all true theorems of the ...
متن کاملEffective categoricity of Abelian p-groups
We investigate effective categoricity of computable Abelian p-groups A. We prove that all computably categorical Abelian p-groups are relatively computably categorical, that is, have computably enumerable Scott families of existential formulas. We investigate which computable Abelian p-groups are ∆02 categorical and relatively ∆ 0 2 categorical.
متن کاملComputable Categoricity versus Relative Computable Categoricity
We study the notion of computable categoricity of computable structures, comparing it especially to the notion of relative computable categoricity and its relativizations. We show that every 1-decidable computably categorical structure is relatively ∆2-categorical. We study the complexity of various index sets associated with computable categoricity and relative computable categoricity. We also...
متن کاملFirst non-abelian cohomology of topological groups II
In this paper we introduce a new definition of the first non-abelian cohomology of topological groups. We relate the cohomology of a normal subgroup $N$ of a topological group $G$ and the quotient $G/N$ to the cohomology of $G$. We get the inflation-restriction exact sequence. Also, we obtain a seven-term exact cohomology sequence up to dimension 2. We give an interpretation of the first non-a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2009
ISSN: 0168-0072
DOI: 10.1016/j.apal.2008.03.007